write_checkpoint post_logic_opt.dcp
